Region connection calculus

Results: 24



#Item
21Knowledge representation / Logic / Constraint programming / Computational topology / Region connection calculus / Mathematics / Mathematical logic / Cognitive science

RCC8 Is Polynomial on Networks of Bounded Treewidth

Add to Reading List

Source URL: ijcai.org

Language: English - Date: 2011-06-29 07:11:21
22Knowledge representation / Cognitive science / Reasoning / Constraint programming / Educational psychology / Spatial–temporal reasoning / Qualitative reasoning / Region connection calculus / Temporal logic / Logic / Science / Mathematics

Spatio-Temporal Stream Reasoning with Incomplete Spatial Information Fredrik Heintz and Daniel de Leng Link¨oping University, [removed]Link¨oping, Sweden Abstract. Reasoning about time and space is essential for many app

Add to Reading List

Source URL: www.ida.liu.se

Language: English - Date: 2014-08-04 07:34:55
23Science / Constraint programming / Deduction / Computational topology / Region connection calculus / Spatial–temporal reasoning / Entailment / Dimensional analysis / Logic / Cognitive science / Knowledge representation

Combining RCC-8 with Qualitative Direction Calculi: Algorithms and Complexity ∗ Weiming Liu1 and Sanjiang Li1,2† and Jochen Renz3 1 State Key Laboratory of Intelligent Technology and Systems, TNLIST,

Add to Reading List

Source URL: users.cecs.anu.edu.au

Language: English - Date: 2009-06-11 03:18:18
24Cognitive science / Mathematical logic / Computational topology / Constraint programming / Region connection calculus / Spatial–temporal reasoning / Manifold / Mereology / Topological space / Mathematics / Topology / Knowledge representation

The Egenhofer–Cohn Hypothesis or, Topological Relativity? Alexander Klippel, Rui Li, Jinlong Yang, Frank Hardisty and Sen Xu

Add to Reading List

Source URL: www.geovista.psu.edu

Language: English - Date: 2013-02-08 13:12:51
UPDATE